لطفا کمی صبر نمایید ...
ورود
جستجوی پیشرفته
استعلام پایان نامه
مقالات فارسی
ISI
کنفرانسها
ژورنالها
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
ورود / ثبت نام
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
استعلام پایان نامه
ظاهر تیره
استعلام پایان نامه
جستجوی مقالات داخلی
دسته بندی:
مقالات کنفرانسی
مقالات ژورنالی
کتابها
طرح های پژوهشی
اسناد پژوهشی
گزارشات
نوع نتایج:
دارای فایل کامل
دارای فایل Word
جستجو بدون در نظر گرفتن جایگاه کلمات صورت بگیرد
محدود کردن سال انتشار مقاله به:
همه سالها
سالهای معین:
جستجو
نمایش
کلیه اطلاعات
فقط عنوان مقاله
تعداد نتایج در هر صفحه
10
20
مرتب سازی با
عنوان مقاله
سال انتشار
نمایه سازی
صعودی
نزولی
فیلتر نتایج
محمدرضا سلطان آقایی کوپایی
مقاله کنفرانسی
ارائه و بررسی یک روش برای تولید و استخراج منطق اینترلاکینگ و جدول کنترل به صورت خودکاردر سیستم های سیگنالینگ خطوط ریلی
نویسندگان:
محمدعلی صندیدزاده
،
علی محمد حمزه لو
،
فرزاد سلیمانی
سال انتشار 1402
محل انتشار:
هشتمین کنفرانس بین المللی پیشرفت های اخیر در مهندسی راه آهن
تعداد صفحات:
15
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
بررسی تحمل پذیری خطا در معماری سرویس گرا با استفاده از سیستم های انتقال گراف
نویسندگان:
رویا دشتی
،
وحید رافع
سال انتشار 1393
محل انتشار:
هفدهمین کنفرانس ملی دانشجویی مهندسی برق ایران
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
روش های صوری در توصیف سیستم های همروند
نویسندگان:
بتول لکزائی
سال انتشار 1395
محل انتشار:
اولین کنفرانس بین المللی دستاوردهای نوین پژوهشی در مهندسی برق و کامپیوتر
تعداد صفحات:
14
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
امنیت سیستم های نرم افزاری با روشهای صوری
نویسندگان:
سمیه عزیزی
،
محمدرضا سلطان آقائی
سال انتشار 1394
محل انتشار:
کنفرانس بین المللی پژوهش های کاربردی در فناوری اطلاعات، کامپیوتر ومخابرات
تعداد صفحات:
11
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
بررسی رویداد گرایی در معماری سرویس گرا با استفاده از سیستم های انتقال گراف
نویسندگان:
رویا دشتی
،
وحید رافع
سال انتشار 1393
محل انتشار:
کنفرانس ملی علوم مهندسی، ایده های نو (۸)
تعداد صفحات:
7
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
معرفی روش صوری VDM و کاربرد آن در مهندسی نرم افزار
نویسندگان:
نونا قاسمی
سال انتشار 1393
محل انتشار:
کنفرانس ملی علوم مهندسی، ایده های نو (۸)
تعداد صفحات:
7
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
ارائه صوری یک معماری عامل گرا برای تأمین یکپارچگی در سیستم های ERP
نویسندگان:
مریم محبتی
سال انتشار 1393
محل انتشار:
همایش ملی مهندسی رایانه و مدیریت فناوری اطلاعات
تعداد صفحات:
20
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
توصیف متدولوژی پرومتئوس به وسیله زبان صوری : تبدیلات گراف
نویسندگان:
سارا به پور
،
وحید رافع
سال انتشار 1392
محل انتشار:
اولین کنفرانس ملی نوآوری در مهندسی کامپیوتر و فنآوری اطلاعات
تعداد صفحات:
7
| زبان: فارسی
مشاهده خلاصه و دریافت